$\forall$${\it es}$:ES, ${\it ff}$:FIFO. ${\it ff}$.Decodes $\in$ $i$:${\it ff}$.C$\rightarrow$$e$:\{$x$:E$\mid$ ${\it ff}$.R($i$,$x$)\} $\rightarrow$state@loc($e$)$\rightarrow$${\it ff}$.T